subgroup test proof